$\forall$$A$, $B$:Realizer.
\\[0ex]R{-}Feasible($A$) $\Rightarrow$ R{-}Feasible($B$) $\Rightarrow$ $A$ $\parallel$ $B$ $\Rightarrow$ ($\forall$$i$:Id. R{-}state($A$;$i$) $\parallel$ R{-}state($B$;$i$))